Skip to content

Conversation

@tfenz
Copy link
Contributor

@tfenz tfenz commented Jun 24, 2020

on behalf of Prof. Stefan Schmid and Prof. Jiri Srba

@ratulm ratulm self-requested a review June 25, 2020 05:15
@tfenz tfenz marked this pull request as draft July 9, 2020 13:39
@tfenz tfenz marked this pull request as ready for review July 9, 2020 13:40
@tfenz
Copy link
Contributor Author

tfenz commented Jul 9, 2020

We've updated the article and think it is ready to publish. Thanks in advance for reviewing it.

@ratulm ratulm merged commit b8c80e4 into netverify:master Jul 22, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants